منابع مشابه
Web Appendix for Critical Types
In this web appendix we demonstrate the construction of a regular type. The idea is to construct hierarchies out of “stacking” finite truncations of other hierarchies on top of each other. We illustrate with a simple example with 2 players. Let p̄ = (p1, p2, . . .) be an infinite sequence of numbers pn ∈ [0, 1] . Consider a hierarchy u p̄ according to which player i believes that the state of nat...
متن کاملSuperficially Substructural Types ( Technical Appendix )
1 The Language 2 1.1 Syntax . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 1.2 Typing . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 1.3 Sharing Construct . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 1.4 Operational Sema...
متن کاملAppendix – Answers to Question 4 from the SAF 5 report
1. Encourage interoperability; don’t pick winners; deal properly with failures Government policies based on models of technological change with strong evidential support will be more effective than those based on discredited models. • Since technology evolves in a complex and largely unpredictable way, keep multiple technology options open (e.g. general purpose technologies) and avoid picking s...
متن کاملPredicting answer types for question-answering
We tackle the problem of answer type prediction, applying a transition-based neural network parser to understand the syntactic structure of a query and infer the focus word or phrase that contains the correct type. To achive this, we first come up with a framework to combine a dataset of labeled question-answer pairs and a type inventory into a dataset to learn types. Second, we fit a sigmoid p...
متن کاملAnnotating Question Types for Consumer Health Questions
This paper presents a question classification scheme and a corresponding annotated corpus of consumer health questions. While most medical question classification methods have targeted medical professionals, the 13 question types we present are targeted toward disease questions posed by consumers. The corpus consists of 1,467 consumer-generated requests for disease information, containing a tot...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ZAS Papers in Linguistics
سال: 2011
ISSN: 1435-9588
DOI: 10.21248/zaspil.55.2011.413